SALOMAA, KAI: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

[Lecture Notes in Computer Science] Implementation and Application of Automata Volume 3317 || Algebraic Hierarchical Decomposition of Finite State Automata: Comparison of Implementations for Krohn-Rhodes Theory

Domaratzki, Michael, Okhotin, Alexander, Salomaa, Kai, Yu, Sheng

Year:

2005

Language:

english

File:

PDF, 67 KB

english, 2005

2

A sharpening of the Parikh mapping

Mateescu, Alexandru, Salomaa, Arto, Salomaa, Kai, Yu, Sheng

Journal:

RAIRO - Theoretical Informatics and Applications

Year:

2001

Language:

english

File:

PDF, 157 KB

english, 2001

3

A pumping result for 2-context-free languages

Journal:

Theoretical Computer Science

Year:

1988

Language:

english

File:

PDF, 2.17 MB

english, 1988

4

Finite state complexity

Cristian S. Calude, Kai Salomaa, Tania K. Roblot

Journal:

Theoretical Computer Science

Year:

2011

Language:

english

File:

PDF, 724 KB

english, 2011

5

[Lecture Notes in Computer Science] Implementation and Application of Automata Volume 6482 || Disambiguation in Regular Expression Matching via Position Automata with Augmented Transitions

Domaratzki, Michael, Salomaa, Kai

Year:

2011

Language:

english

File:

PDF, 200 KB

english, 2011

6

Undecidability of state complexity

Salomaa, Arto, Salomaa, Kai, Yu, Sheng

Journal:

International Journal of Computer Mathematics

Year:

2013

Language:

english

File:

PDF, 156 KB

english, 2013

7

ON THE STATE COMPLEXITY OF COMBINED OPERATIONS AND THEIR ESTIMATION

SALOMAA, KAI, YU, SHENG

Journal:

International Journal of Foundations of Computer Science

Year:

2007

Language:

english

File:

PDF, 877 KB

english, 2007

8

STATE-SIZE HIERARCHY FOR FINITE-STATE COMPLEXITY

CALUDE, CRISTIAN S., SALOMAA, KAI, ROBLOT, TANIA K.

Journal:

International Journal of Foundations of Computer Science

Year:

2012

Language:

english

File:

PDF, 225 KB

english, 2012

9

Approximate matching between a context-free grammar and a finite-state automaton

Ko, Sang-Ki, Han, Yo-Sub, Salomaa, Kai

Journal:

Information and Computation

Year:

2016

Language:

english

File:

PDF, 479 KB

english, 2016

10

[IEEE ICC 2016 - 2016 IEEE International Conference on Communications - Kuala Lumpur, Malaysia (2016.5.22-2016.5.27)] 2016 IEEE International Conference on Communications (ICC) - CARRE: Cellular automaton based redundant readers elimination in RFID networks

Rashid, Nafiul, Choudhury, Salimur, Salomaa, Kai

Year:

2016

Language:

english

File:

PDF, 237 KB

english, 2016

11

Routing in a polygonal terrain with the shortest beacon watchtower

Kouhestani, Bahram, Rappaport, David, Salomaa, Kai

Journal:

Computational Geometry

Year:

2017

Language:

english

File:

PDF, 1.87 MB

english, 2017

12

Localized algorithms for redundant readers elimination in RFID networks

Rashid, Nafiul, Choudhury, Salimur, Salomaa, Kai

Journal:

International Journal of Parallel Emergent and Distributed Systems

Year:

2018

Language:

english

File:

PDF, 1.50 MB

english, 2018

13

The immortality problem for Lag systems

Kai Salomaa, Sheng Yu

Journal:

Information Processing Letters

Year:

1990

Language:

english

File:

PDF, 377 KB

english, 1990

14

Yield-languages of two-way pushdown tree automata

Journal:

Information Processing Letters

Year:

1996

Language:

english

File:

PDF, 476 KB

english, 1996

15

Deterministic tree pushdown automata and monadic tree rewriting systems

Journal:

Journal of Computer and System Sciences

Year:

1988

Language:

english

File:

PDF, 1.48 MB

english, 1988

16

Decidability of structural equivalence of E0L grammars

Kai Salomaa, Sheng Yu

Journal:

Theoretical Computer Science

Year:

1991

Language:

english

File:

PDF, 1.02 MB

english, 1991

17

Structural equivalence and ET0L grammars

Kai Salomaa, Derick Wood, Yu Sheng

Journal:

Theoretical Computer Science

Year:

1996

Language:

english

File:

PDF, 1.25 MB

english, 1996

18

Codes defined by multiple sets of trajectories

Michael Domaratzki, Kai Salomaa

Journal:

Theoretical Computer Science

Year:

2006

Language:

english

File:

PDF, 264 KB

english, 2006

19

On the existence of prime decompositions

Yo-Sub Han, Arto Salomaa, Kai Salomaa, Derick Wood, Sheng Yu

Journal:

Theoretical Computer Science

Year:

2007

Language:

english

File:

PDF, 268 KB

english, 2007

20

State complexity of combined operations

Arto Salomaa, Kai Salomaa, Sheng Yu

Journal:

Theoretical Computer Science

Year:

2007

Language:

english

File:

PDF, 393 KB

english, 2007

21

On the existence of regular approximations

Brendan Cordy, Kai Salomaa

Journal:

Theoretical Computer Science

Year:

2007

Language:

english

File:

PDF, 304 KB

english, 2007

22

Transition complexity of language operations

Michael Domaratzki, Kai Salomaa

Journal:

Theoretical Computer Science

Year:

2007

Language:

english

File:

PDF, 261 KB

english, 2007

23

Nondeterministic state complexity of nested word automata

Yo-Sub Han, Kai Salomaa

Journal:

Theoretical Computer Science

Year:

2009

Language:

english

File:

PDF, 688 KB

english, 2009

24

State complexity of basic operations on suffix-free regular languages

Yo-Sub Han, Kai Salomaa

Journal:

Theoretical Computer Science

Year:

2009

Language:

english

File:

PDF, 955 KB

english, 2009

25

On the synchronized derivation depth of context-free grammars

Franziska Biegler, Kai Salomaa

Journal:

Theoretical Computer Science

Year:

2009

Language:

english

File:

PDF, 974 KB

english, 2009

26

Analysis of a cellular automaton model for car traffic with a slow-to-stop rule

Adam Clarridge, Kai Salomaa

Journal:

Theoretical Computer Science

Year:

2010

Language:

english

File:

PDF, 1.59 MB

english, 2010

27

Measures of nondeterminism for pushdown automata

Kai Salomaa, Sheng Yu

Journal:

Journal of Computer and System Sciences

Year:

1994

Language:

english

File:

PDF, 652 KB

english, 1994

28

Decidability of EDT0L structural equivalence

Kai Salomaa, Sheng Yu

Journal:

Theoretical Computer Science

Year:

2002

Language:

english

File:

PDF, 131 KB

english, 2002

29

Synchronization expressions with extended join operation

Kai Salomaa, Sheng Yu

Journal:

Theoretical Computer Science

Year:

1998

Language:

english

File:

PDF, 1.06 MB

english, 1998

30

Alternating finite automata and star-free languages

Kai Salomaa, Sheng Yu

Journal:

Theoretical Computer Science

Year:

2000

Language:

english

File:

PDF, 96 KB

english, 2000

31

Editorial: Computing with biomolecules

Erzsébet Csuhaj-Varjú, Kai Salomaa

Journal:

Natural Computing

Year:

2011

Language:

english

File:

PDF, 89 KB

english, 2011

32

The state complexities of some basic operations on regular languages

Sheng Yu, Qingyu Zhuang, Kai Salomaa

Journal:

Theoretical Computer Science

Year:

1994

Language:

english

File:

PDF, 776 KB

english, 1994

33

Synchronized tree automata

Journal:

Theoretical Computer Science

Year:

1994

Language:

english

File:

PDF, 1.85 MB

english, 1994

34

Decidability of equivalence for deterministic synchronized tree automata

Journal:

Theoretical Computer Science

Year:

1996

Language:

english

File:

PDF, 1.57 MB

english, 1996

35

Lower bounds for the transition complexity of NFAs

Michael Domaratzki, Kai Salomaa

Journal:

Journal of Computer and System Sciences

Year:

2008

Language:

english

File:

PDF, 250 KB

english, 2008

36

Decidability of trajectory-based equations

Michael Domaratzki, Kai Salomaa

Journal:

Theoretical Computer Science

Year:

2005

Language:

english

File:

PDF, 288 KB

english, 2005

37

An infinite hierarchy induced by depth synchronization

Franziska Biegler, Ian McQuillan, Kai Salomaa

Journal:

Theoretical Computer Science

Year:

2007

Language:

english

File:

PDF, 254 KB

english, 2007

38

Deciding determinism of caterpillar expressions

Kai Salomaa, Sheng Yu, Jinfeng Zan

Journal:

Theoretical Computer Science

Year:

2009

Language:

english

File:

PDF, 634 KB

english, 2009

39

On the descriptional complexity of Watson–Crick automata

Elena Czeizler, Eugen Czeizler, Lila Kari, Kai Salomaa

Journal:

Theoretical Computer Science

Year:

2009

Language:

english

File:

PDF, 634 KB

english, 2009

40

Operational state complexity of nested word automata

Xiaoxue Piao, Kai Salomaa

Journal:

Theoretical Computer Science

Year:

2009

Language:

english

File:

PDF, 832 KB

english, 2009

41

[Lecture Notes in Computer Science] Implementation and Application of Automata Volume 3317 || State Complexity of Concatenation and Complementation of Regular Languages

Domaratzki, Michael, Okhotin, Alexander, Salomaa, Kai, Yu, Sheng

Year:

2005

Language:

english

File:

PDF, 296 KB

english, 2005

42

Variants of codes and indecomposable languages

Arto Salomaa, Kai Salomaa, Sheng Yu

Journal:

Information and Computation

Year:

2009

Language:

english

File:

PDF, 163 KB

english, 2009

43

Limitations of lower bound methods for deterministic nested word automata

Journal:

Information and Computation

Year:

2011

Language:

english

File:

PDF, 337 KB

english, 2011

44

State complexity of the concatenation of regular tree languages

Xiaoxue Piao, Kai Salomaa

Journal:

Theoretical Computer Science

Year:

2012

Language:

english

File:

PDF, 334 KB

english, 2012

45

Extended Watson–Crick L systems with regular trigger languages and restricted derivation modes

David Sears, Kai Salomaa

Journal:

Natural Computing

Year:

2012

Language:

english

File:

PDF, 382 KB

english, 2012

46

Lower bounds for the size of deterministic unranked tree automata

Piao, Xiaoxue, Salomaa, Kai

Journal:

Theoretical Computer Science

Year:

2012

Language:

english

File:

PDF, 290 KB

english, 2012

47

[Lecture Notes in Computer Science] Implementation and Application of Automata Volume 3317 || Computing the Follow Automaton of an Expression

Domaratzki, Michael, Okhotin, Alexander, Salomaa, Kai, Yu, Sheng

Year:

2005

Language:

english

File:

PDF, 261 KB

english, 2005

48

[Lecture Notes in Computer Science] Implementation and Application of Automata Volume 6482 || Compressing Regular Expressions’ DFA Table by Matrix Decomposition

Domaratzki, Michael, Salomaa, Kai

Year:

2011

Language:

english

File:

PDF, 152 KB

english, 2011

49

[Lecture Notes in Computer Science] Implementation and Application of Automata Volume 6482 || The Cayley-Hamilton Theorem for Noncommutative Semirings

Domaratzki, Michael, Salomaa, Kai

Year:

2011

Language:

english

File:

PDF, 223 KB

english, 2011

50

[Lecture Notes in Computer Science] Implementation and Application of Automata Volume 3317 || State Complexity and the Monoid of Transformations of a Finite Set

Domaratzki, Michael, Okhotin, Alexander, Salomaa, Kai, Yu, Sheng

Year:

2005

Language:

english

File:

PDF, 215 KB

english, 2005

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@z-lib.do

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски